Kalkül

längerfristig ausgerichtetes Handeln; Masterplan; Plan; Strategie; Schlachtplan (umgangssprachlich); Überlegung; Berechnung

* * *

Kal|kül

I 〈m. 1 oder n. 11〉 Berechnung, Überlegung

II 〈m. 1; Math.〉 System von Regeln u. Zeichen für mathematische Berechnungen u. log. Ableitungen

[<frz. calcul „das Rechnen“; zu lat. calculus „Steinchen“, Verkleinerungsform zu calx „Kalkstein“]

* * *

¹Kal|kül, das, auch: der; -s, -e [frz. calcul, zu: calculer < lat. calculare = mit Rechensteinen rechnen, berechnen, zu: calculus = Rechenstein; (Be)rechnung, Vkl. von: calx, ↑ Kalk] (bildungsspr.):

etw. im Voraus abschätzende, einschätzende Berechnung, Überlegung:

aus taktischem, ökonomischem K.;

etw. ins K. [einbe]ziehen (von vornherein mit berücksichtigen);

man darf an eine solche Sache nicht mit logischem K. herangehen.

²Kal|kül, der; -s, -e (Math.):

durch ein System von Regeln festgelegte Methode, mit deren Hilfe bestimmte mathematische Probleme systematisch behandelt u. automatisch gelöst werden können (z. B. Verfahren zur Auflösung linearer u. quadratischer Gleichungen).

* * *

I

Kalkül

 

[frz. calculer, dt. »berechnen«] der, in der Logik verwendete formale Sprachen, mit deren Hilfe Aussagen aufgestellt werden.

II

Kalkül

 

[französisch, zu lateinisch calculus »Rechenstein«, »(Be-)Rechnung«] der, -s/-e,  

 1) auch das, -s/-e, bildungssprachlich: im Voraus abschätzende Berechnung, Überlegung.

 

 2) Logik und Mathematik: ein System zur Erzeugung gewisser Figuren - z. B. von Formeln oder von Ausdrücken einer formalen Sprache - aus einer Gesamtheit zulässiger (häufig selbst aus Atomfiguren aufgebauter) Figuren, das gebildet wird durch eine Menge von Axiome genannten Grundfiguren und eine Menge von Ableitungsregeln zur Erzeugung von weiteren Figuren aus Grundfiguren und bereits erzeugten Figuren. Das Ableiten in einem Kalkül ist ein rein mechanischer Vorgang, der keinerlei inhaltliches Verständnis dessen, was die Figuren meinen, voraussetzt.

 

Wichtige Typen von Kalkülen formalisieren das logische Schließen (z. B. Aussagenkalkül, Prädikatenkalkül) beziehungsweise das Schlussfolgern oder das Umformen von Formeln in mathematische Theorien (z. B. formale Arithmetik, Differenzialkalkül) und werden etwa in Systemen automatischen Beweisens beziehungsweise in der Computeralgebra benutzt. So erhält man z. B. einen Aussagenkalkül dadurch, dass man als Figuren die Menge aller Ausdrücke der Sprache der Aussagenlogik nimmt, die aus den Aussagenvariablen p, q, r. .., den logischen Konstanten ¬ und → (zur Bezeichnung von Negation und Implikation) sowie Klammern (,) als Hilfszeichen aufgebaut sind; seine Axiome sind alle Figuren der Gestalten

 

 

in denen A, B, C beliebige Figuren bedeuten, und seine einzige Ableitungsregel erlaubt, von einer Figur A und einer weiteren Figur der Gestalt A → B zur Figur B überzugehen. Dieser Kalkül gestattet es, gerade diejenigen aussagenlogischen Ausdrücke herzuleiten, die Tautologien sind. Erweitert man die Menge seiner Axiome um eine Menge M von aussagenlogischen Ausdrücken, dann gestattet er, gerade alle Folgerungen aus M zu erzeugen.

 

Jeder Kalkül stellt ein Verfahren dar, um Figuren systematisch zu erzeugen (aufzuzählen). Allerdings folgt daraus nicht, dass man von einer beliebig vorgegebenen Figur auch entscheiden kann, ob sie in einen gegebenen Kalkül hergeleitet werden kann, d. h., ob die Menge der vom Kalkül erzeugbaren Figuren entscheidbar ist. Dieser Umstand ist für das maschinelle Beweisen von großer Bedeutung.

 

* * *

¹Kal|kül, das, auch: der; -s, -e [frz. calcul, zu: calculer < lat. calculare = mit Rechensteinen rechnen, berechnen, zu: calculus = Rechenstein; (Be)rechnung, Vkl. von: calx, ↑Kalk] (bildungsspr.): etw. im Voraus abschätzende, einschätzende Berechnung, Überlegung: Sind es hier nicht ausschließlich und nur eiskalte politische -e, nach denen man wirtschaftliche und soziale Folgerungen berechnet? (Thielicke, Ich glaube 249); Auch das K. der Grundrenten-Befürworter geht nur auf, wenn sich zusätzlich zur staatlichen Versorgung mit privaten Rücklagen hohe Renditen erwirtschaften lassen (Woche 14. 11. 97, 13); aus taktischem, ökonomischem K.; etw. ins K. [einbe]ziehen (von vornherein mit berücksichtigen); man darf an eine solche Sache nicht mit logischem K. herangehen.

————————

²Kal|kül, der; -s, -e (Math.): durch ein System von Regeln festgelegte Methode, mit deren Hilfe bestimmte mathematische Probleme systematisch behandelt u. automatisch gelöst werden können (z. B. die Verfahren zur Auflösung linearer u. quadratischer Gleichungen).